(= (* 2 4) 8) 
